A Re ned View of the Box AlgebraEike Best
نویسنده
چکیده
This paper presents the operational semantics and the Petri net semantics of a fragment of the box algebra in tutorial style. For the operational semantics, induc-tive rules for marked expressions are given. For the net semantics, a general mechanism of reenement and relabelling is introduced, using which the connectives of the algebra are deened. A companion paper shows how this mechanism can be extended to handle recursion.
منابع مشابه
Enhancing the S YS L AB System Model with State Radu
In this report, the SysLab system model is complemented in di erent ways: State-box models are provided through timed port automata, for which an operational and a corresponding denotational semantics are given. Composition is de ned for components modeled in the state-box view as well as for components modeled in the black-box view. This composition is well-de ned for networks of in nitely man...
متن کاملEnhancing the SysLab System Model with State
In this report the SysLab system model is complemented in di erent ways State box models are provided through timed port automata for which an op erational and a corresponding denotational semantics are given Composition is de ned for components modeled in the state box view as well as for components modeled in the black box view This composition is well de ned for networks of in nitely many co...
متن کاملThermoeconomic Analysis and Parametric Study of Geothermal and Biomass Source ORC, Dual Fluid and Hybrid Power Plants
In this paper, we have continued doing a research project which had done previously. Three types of power plants include an Organic Rankine Cycle (ORC), a Dual-Fluid-Hybrid (DFH) and a single-fluid hybrid-fueled (HYB); were re-modeled. After model validation, thermodynamic studies and exergy analysis were extended for the defined cases using the first and second laws of thermodynamics. Then the...
متن کاملA Shiite innatist conception of reason, and what it can do for religious education (RE)
In this study I have argued for a theoretical foundation of a coherent and defensible religious education (RE). It has been said that for RE to be accepted as a reasonable subject matter it should be researchable. But for a subject to be researchable, or research based, it needs to be supported by reason, a kind of reason that have a public and universal character. On the other hand we need a c...
متن کاملConstruction of Traps for Re ned Petri Boxes
Traps are structurally deened subnets of a Petri net with the property that once a trap is marked (i.e., carries at least one token), it will remain marked in any successive marking. The paper shows how to synthesise initially marked traps for a Petri Box for the reenement and the scoping operation, from the characteristics of its constituents.
متن کامل